#ifndef __EKF_CONSDEBUG_I_H__
#define __EKF_CONSDEBUG_I_H__

void monitor(struct trapframe_s *tf);
         
#endif
